Approximate solution of PEPA models using component substitution

An approximate solution of PEPA models using component substitution

Component aggregation for PEPA models: An approach based on approximate strong equivalence

Approximate aggregation for PEPA components involves the construction of a smaller component that approximates the behaviour of the original one. Such an approximation at the component level can be very efficient and it can also result in a considerable reduction of the state-space for the underlying continuoustime Markov chain. We propose an approximate PEPA component aggregation strategy that...

Compositional Approximate Markov Chain Aggregation for PEPA Models

Approximate Markov chain aggregation involves the construction of a smaller Markov chain that approximates the behaviour of a given chain. We discuss two different approaches to obtain a nearly optimal partition of the state-space, based on different notions of approximate state equivalence. Both approximate aggregation methods require an explicit representation of the transition matrix, a fact...

Product Form Solution for a Class of PEPA Models

The advantages of the compositional structure within the Markovian process algebra PEPA for model construction and simplification have already been demonstrated. In this paper we show that for some PEPA models this structure may also be used to advantage during the solution of the model. Several papers offering product form solutions of stochastic Petri nets have been published during the last ...

Approximate Solution of a PEPA Model of a Key Distribution Centre